GCLC - A Tool for Constructive Euclidean Geometry and More Than That
نویسنده
چکیده
We present gclc/Wingclc— a tool for visualizing geometrical (and not only geometrical) objects and notions, for teaching/studying mathematics, and for producing mathematical illustrations of high quality. gclc uses a language gc for declarative representation of figures and for storing mathematical contents of visual nature in textual form. In gclc, there is a build-in geometrical theorem prover which directly links visual and semantical geometrical information with deductive properties and machine–generated proofs.
منابع مشابه
Spatial Analysis in curved spaces with Non-Euclidean Geometry
The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...
متن کاملModeling of heat generations for different tool profiles in friction stir welding: study of tool geometry and contact conditions
In this work, improved heat generation models are developed for straight and tapered shoulder geometries with different tool pin profiles in friction stir welding. The models are developed considering the welding process as a combination of the pure sliding and the pure sticking conditions. From the results, the amount of heat generation is directly proportional to the number of edges in the pi...
متن کاملAdaptative Learning Environment for Geometry
Geometry with its formal, logical and spatial properties is well suited to be taught in an environment that includes dynamic geometry software (DGSs), automatic theorem provers (ATPs) and repositories of geometric problems (RGP). With the integration of those tools in a given learning management system (LMS), we can build an environment where the student is able to explore the built-in knowledg...
متن کاملFoundations of Euclidean Constructive Geometry
Euclidean geometry, as presented by Euclid, consists of straightedge-andcompass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid rathe...
متن کاملConstructive Geometry
Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of the “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid ...
متن کامل